Sfoglia per Rivista JOURNAL OF AUTOMATED REASONING
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems
2001-01-01 Giunchiglia, Fausto; Paolo, Pecchiari; Carolyn, Talcott
SAT-Based Decision Procedures for Classical Modal Logics
2000-01-01 E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis"
2006-01-01 Armando, Alessandro; Basin, D.; Cuellar, J.; Rustinowitch, M.; Viganò, L.
Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008)
2010-01-01 Armando, Alessandro; Baumgartner, P.; Dowek, G.
The SAT-based Approach to Separation Logic
2005-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Maratea, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems | 1-gen-2001 | Giunchiglia, Fausto; Paolo, Pecchiari; Carolyn, Talcott | |
SAT-Based Decision Procedures for Classical Modal Logics | 1-gen-2000 | E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella | |
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" | 1-gen-2006 | Armando, Alessandro; Basin, D.; Cuellar, J.; Rustinowitch, M.; Viganò, L. | |
Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008) | 1-gen-2010 | Armando, Alessandro; Baumgartner, P.; Dowek, G. | |
The SAT-based Approach to Separation Logic | 1-gen-2005 | Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Maratea, M. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile